type crypto/elliptic/internal/fiat.p224Uint1
247 uses
crypto/elliptic/internal/fiat (current package)
p224.go#L126: p224Selectznz((*p224UntypedFieldElement)(&v.x), p224Uint1(cond),
p224_fiat64.go#L43: type p224Uint1 uint64 // We use uint64 instead of a more narrow type for performance reasons; see https://github.com/mit-plv/fiat-crypto/pull/1006#issuecomment-892625927
p224_fiat64.go#L67: func p224CmovznzU64(out1 *uint64, arg1 p224Uint1, arg2 uint64, arg3 uint64) {
p224_fiat64.go#L104: x15, x16 = bits.Add64(x10, x7, uint64(p224Uint1(x14)))
p224_fiat64.go#L107: x17, x18 = bits.Add64(x8, x5, uint64(p224Uint1(x16)))
p224_fiat64.go#L108: x19 := (uint64(p224Uint1(x18)) + x6)
p224_fiat64.go#L125: x30, x31 = bits.Add64(x25, x22, uint64(p224Uint1(x29)))
p224_fiat64.go#L126: x32 := (uint64(p224Uint1(x31)) + x23)
p224_fiat64.go#L131: x35, x36 = bits.Add64(x13, x26, uint64(p224Uint1(x34)))
p224_fiat64.go#L134: x37, x38 = bits.Add64(x15, x28, uint64(p224Uint1(x36)))
p224_fiat64.go#L137: x39, x40 = bits.Add64(x17, x30, uint64(p224Uint1(x38)))
p224_fiat64.go#L140: x41, x42 = bits.Add64(x19, x32, uint64(p224Uint1(x40)))
p224_fiat64.go#L158: x53, x54 = bits.Add64(x48, x45, uint64(p224Uint1(x52)))
p224_fiat64.go#L161: x55, x56 = bits.Add64(x46, x43, uint64(p224Uint1(x54)))
p224_fiat64.go#L162: x57 := (uint64(p224Uint1(x56)) + x44)
p224_fiat64.go#L168: x60, x61 = bits.Add64(x37, x51, uint64(p224Uint1(x59)))
p224_fiat64.go#L171: x62, x63 = bits.Add64(x39, x53, uint64(p224Uint1(x61)))
p224_fiat64.go#L174: x64, x65 = bits.Add64(x41, x55, uint64(p224Uint1(x63)))
p224_fiat64.go#L177: x66, x67 = bits.Add64(uint64(p224Uint1(x42)), x57, uint64(p224Uint1(x65)))
p224_fiat64.go#L194: x78, x79 = bits.Add64(x73, x70, uint64(p224Uint1(x77)))
p224_fiat64.go#L195: x80 := (uint64(p224Uint1(x79)) + x71)
p224_fiat64.go#L200: x83, x84 = bits.Add64(x60, x74, uint64(p224Uint1(x82)))
p224_fiat64.go#L203: x85, x86 = bits.Add64(x62, x76, uint64(p224Uint1(x84)))
p224_fiat64.go#L206: x87, x88 = bits.Add64(x64, x78, uint64(p224Uint1(x86)))
p224_fiat64.go#L209: x89, x90 = bits.Add64(x66, x80, uint64(p224Uint1(x88)))
p224_fiat64.go#L210: x91 := (uint64(p224Uint1(x90)) + uint64(p224Uint1(x67)))
p224_fiat64.go#L228: x102, x103 = bits.Add64(x97, x94, uint64(p224Uint1(x101)))
p224_fiat64.go#L231: x104, x105 = bits.Add64(x95, x92, uint64(p224Uint1(x103)))
p224_fiat64.go#L232: x106 := (uint64(p224Uint1(x105)) + x93)
p224_fiat64.go#L238: x109, x110 = bits.Add64(x85, x100, uint64(p224Uint1(x108)))
p224_fiat64.go#L241: x111, x112 = bits.Add64(x87, x102, uint64(p224Uint1(x110)))
p224_fiat64.go#L244: x113, x114 = bits.Add64(x89, x104, uint64(p224Uint1(x112)))
p224_fiat64.go#L247: x115, x116 = bits.Add64(x91, x106, uint64(p224Uint1(x114)))
p224_fiat64.go#L264: x127, x128 = bits.Add64(x122, x119, uint64(p224Uint1(x126)))
p224_fiat64.go#L265: x129 := (uint64(p224Uint1(x128)) + x120)
p224_fiat64.go#L270: x132, x133 = bits.Add64(x109, x123, uint64(p224Uint1(x131)))
p224_fiat64.go#L273: x134, x135 = bits.Add64(x111, x125, uint64(p224Uint1(x133)))
p224_fiat64.go#L276: x136, x137 = bits.Add64(x113, x127, uint64(p224Uint1(x135)))
p224_fiat64.go#L279: x138, x139 = bits.Add64(x115, x129, uint64(p224Uint1(x137)))
p224_fiat64.go#L280: x140 := (uint64(p224Uint1(x139)) + uint64(p224Uint1(x116)))
p224_fiat64.go#L298: x151, x152 = bits.Add64(x146, x143, uint64(p224Uint1(x150)))
p224_fiat64.go#L301: x153, x154 = bits.Add64(x144, x141, uint64(p224Uint1(x152)))
p224_fiat64.go#L302: x155 := (uint64(p224Uint1(x154)) + x142)
p224_fiat64.go#L308: x158, x159 = bits.Add64(x134, x149, uint64(p224Uint1(x157)))
p224_fiat64.go#L311: x160, x161 = bits.Add64(x136, x151, uint64(p224Uint1(x159)))
p224_fiat64.go#L314: x162, x163 = bits.Add64(x138, x153, uint64(p224Uint1(x161)))
p224_fiat64.go#L317: x164, x165 = bits.Add64(x140, x155, uint64(p224Uint1(x163)))
p224_fiat64.go#L334: x176, x177 = bits.Add64(x171, x168, uint64(p224Uint1(x175)))
p224_fiat64.go#L335: x178 := (uint64(p224Uint1(x177)) + x169)
p224_fiat64.go#L340: x181, x182 = bits.Add64(x158, x172, uint64(p224Uint1(x180)))
p224_fiat64.go#L343: x183, x184 = bits.Add64(x160, x174, uint64(p224Uint1(x182)))
p224_fiat64.go#L346: x185, x186 = bits.Add64(x162, x176, uint64(p224Uint1(x184)))
p224_fiat64.go#L349: x187, x188 = bits.Add64(x164, x178, uint64(p224Uint1(x186)))
p224_fiat64.go#L350: x189 := (uint64(p224Uint1(x188)) + uint64(p224Uint1(x165)))
p224_fiat64.go#L356: x192, x193 = bits.Sub64(x183, 0xffffffff00000000, uint64(p224Uint1(x191)))
p224_fiat64.go#L359: x194, x195 = bits.Sub64(x185, 0xffffffffffffffff, uint64(p224Uint1(x193)))
p224_fiat64.go#L362: x196, x197 = bits.Sub64(x187, 0xffffffff, uint64(p224Uint1(x195)))
p224_fiat64.go#L364: _, x199 = bits.Sub64(x189, uint64(0x0), uint64(p224Uint1(x197)))
p224_fiat64.go#L366: p224CmovznzU64(&x200, p224Uint1(x199), x190, x181)
p224_fiat64.go#L368: p224CmovznzU64(&x201, p224Uint1(x199), x192, x183)
p224_fiat64.go#L370: p224CmovznzU64(&x202, p224Uint1(x199), x194, x185)
p224_fiat64.go#L372: p224CmovznzU64(&x203, p224Uint1(x199), x196, x187)
p224_fiat64.go#L409: x15, x16 = bits.Add64(x10, x7, uint64(p224Uint1(x14)))
p224_fiat64.go#L412: x17, x18 = bits.Add64(x8, x5, uint64(p224Uint1(x16)))
p224_fiat64.go#L413: x19 := (uint64(p224Uint1(x18)) + x6)
p224_fiat64.go#L430: x30, x31 = bits.Add64(x25, x22, uint64(p224Uint1(x29)))
p224_fiat64.go#L431: x32 := (uint64(p224Uint1(x31)) + x23)
p224_fiat64.go#L436: x35, x36 = bits.Add64(x13, x26, uint64(p224Uint1(x34)))
p224_fiat64.go#L439: x37, x38 = bits.Add64(x15, x28, uint64(p224Uint1(x36)))
p224_fiat64.go#L442: x39, x40 = bits.Add64(x17, x30, uint64(p224Uint1(x38)))
p224_fiat64.go#L445: x41, x42 = bits.Add64(x19, x32, uint64(p224Uint1(x40)))
p224_fiat64.go#L463: x53, x54 = bits.Add64(x48, x45, uint64(p224Uint1(x52)))
p224_fiat64.go#L466: x55, x56 = bits.Add64(x46, x43, uint64(p224Uint1(x54)))
p224_fiat64.go#L467: x57 := (uint64(p224Uint1(x56)) + x44)
p224_fiat64.go#L473: x60, x61 = bits.Add64(x37, x51, uint64(p224Uint1(x59)))
p224_fiat64.go#L476: x62, x63 = bits.Add64(x39, x53, uint64(p224Uint1(x61)))
p224_fiat64.go#L479: x64, x65 = bits.Add64(x41, x55, uint64(p224Uint1(x63)))
p224_fiat64.go#L482: x66, x67 = bits.Add64(uint64(p224Uint1(x42)), x57, uint64(p224Uint1(x65)))
p224_fiat64.go#L499: x78, x79 = bits.Add64(x73, x70, uint64(p224Uint1(x77)))
p224_fiat64.go#L500: x80 := (uint64(p224Uint1(x79)) + x71)
p224_fiat64.go#L505: x83, x84 = bits.Add64(x60, x74, uint64(p224Uint1(x82)))
p224_fiat64.go#L508: x85, x86 = bits.Add64(x62, x76, uint64(p224Uint1(x84)))
p224_fiat64.go#L511: x87, x88 = bits.Add64(x64, x78, uint64(p224Uint1(x86)))
p224_fiat64.go#L514: x89, x90 = bits.Add64(x66, x80, uint64(p224Uint1(x88)))
p224_fiat64.go#L515: x91 := (uint64(p224Uint1(x90)) + uint64(p224Uint1(x67)))
p224_fiat64.go#L533: x102, x103 = bits.Add64(x97, x94, uint64(p224Uint1(x101)))
p224_fiat64.go#L536: x104, x105 = bits.Add64(x95, x92, uint64(p224Uint1(x103)))
p224_fiat64.go#L537: x106 := (uint64(p224Uint1(x105)) + x93)
p224_fiat64.go#L543: x109, x110 = bits.Add64(x85, x100, uint64(p224Uint1(x108)))
p224_fiat64.go#L546: x111, x112 = bits.Add64(x87, x102, uint64(p224Uint1(x110)))
p224_fiat64.go#L549: x113, x114 = bits.Add64(x89, x104, uint64(p224Uint1(x112)))
p224_fiat64.go#L552: x115, x116 = bits.Add64(x91, x106, uint64(p224Uint1(x114)))
p224_fiat64.go#L569: x127, x128 = bits.Add64(x122, x119, uint64(p224Uint1(x126)))
p224_fiat64.go#L570: x129 := (uint64(p224Uint1(x128)) + x120)
p224_fiat64.go#L575: x132, x133 = bits.Add64(x109, x123, uint64(p224Uint1(x131)))
p224_fiat64.go#L578: x134, x135 = bits.Add64(x111, x125, uint64(p224Uint1(x133)))
p224_fiat64.go#L581: x136, x137 = bits.Add64(x113, x127, uint64(p224Uint1(x135)))
p224_fiat64.go#L584: x138, x139 = bits.Add64(x115, x129, uint64(p224Uint1(x137)))
p224_fiat64.go#L585: x140 := (uint64(p224Uint1(x139)) + uint64(p224Uint1(x116)))
p224_fiat64.go#L603: x151, x152 = bits.Add64(x146, x143, uint64(p224Uint1(x150)))
p224_fiat64.go#L606: x153, x154 = bits.Add64(x144, x141, uint64(p224Uint1(x152)))
p224_fiat64.go#L607: x155 := (uint64(p224Uint1(x154)) + x142)
p224_fiat64.go#L613: x158, x159 = bits.Add64(x134, x149, uint64(p224Uint1(x157)))
p224_fiat64.go#L616: x160, x161 = bits.Add64(x136, x151, uint64(p224Uint1(x159)))
p224_fiat64.go#L619: x162, x163 = bits.Add64(x138, x153, uint64(p224Uint1(x161)))
p224_fiat64.go#L622: x164, x165 = bits.Add64(x140, x155, uint64(p224Uint1(x163)))
p224_fiat64.go#L639: x176, x177 = bits.Add64(x171, x168, uint64(p224Uint1(x175)))
p224_fiat64.go#L640: x178 := (uint64(p224Uint1(x177)) + x169)
p224_fiat64.go#L645: x181, x182 = bits.Add64(x158, x172, uint64(p224Uint1(x180)))
p224_fiat64.go#L648: x183, x184 = bits.Add64(x160, x174, uint64(p224Uint1(x182)))
p224_fiat64.go#L651: x185, x186 = bits.Add64(x162, x176, uint64(p224Uint1(x184)))
p224_fiat64.go#L654: x187, x188 = bits.Add64(x164, x178, uint64(p224Uint1(x186)))
p224_fiat64.go#L655: x189 := (uint64(p224Uint1(x188)) + uint64(p224Uint1(x165)))
p224_fiat64.go#L661: x192, x193 = bits.Sub64(x183, 0xffffffff00000000, uint64(p224Uint1(x191)))
p224_fiat64.go#L664: x194, x195 = bits.Sub64(x185, 0xffffffffffffffff, uint64(p224Uint1(x193)))
p224_fiat64.go#L667: x196, x197 = bits.Sub64(x187, 0xffffffff, uint64(p224Uint1(x195)))
p224_fiat64.go#L669: _, x199 = bits.Sub64(x189, uint64(0x0), uint64(p224Uint1(x197)))
p224_fiat64.go#L671: p224CmovznzU64(&x200, p224Uint1(x199), x190, x181)
p224_fiat64.go#L673: p224CmovznzU64(&x201, p224Uint1(x199), x192, x183)
p224_fiat64.go#L675: p224CmovznzU64(&x202, p224Uint1(x199), x194, x185)
p224_fiat64.go#L677: p224CmovznzU64(&x203, p224Uint1(x199), x196, x187)
p224_fiat64.go#L699: x3, x4 = bits.Add64(arg1[1], arg2[1], uint64(p224Uint1(x2)))
p224_fiat64.go#L702: x5, x6 = bits.Add64(arg1[2], arg2[2], uint64(p224Uint1(x4)))
p224_fiat64.go#L705: x7, x8 = bits.Add64(arg1[3], arg2[3], uint64(p224Uint1(x6)))
p224_fiat64.go#L711: x11, x12 = bits.Sub64(x3, 0xffffffff00000000, uint64(p224Uint1(x10)))
p224_fiat64.go#L714: x13, x14 = bits.Sub64(x5, 0xffffffffffffffff, uint64(p224Uint1(x12)))
p224_fiat64.go#L717: x15, x16 = bits.Sub64(x7, 0xffffffff, uint64(p224Uint1(x14)))
p224_fiat64.go#L719: _, x18 = bits.Sub64(uint64(p224Uint1(x8)), uint64(0x0), uint64(p224Uint1(x16)))
p224_fiat64.go#L721: p224CmovznzU64(&x19, p224Uint1(x18), x9, x1)
p224_fiat64.go#L723: p224CmovznzU64(&x20, p224Uint1(x18), x11, x3)
p224_fiat64.go#L725: p224CmovznzU64(&x21, p224Uint1(x18), x13, x5)
p224_fiat64.go#L727: p224CmovznzU64(&x22, p224Uint1(x18), x15, x7)
p224_fiat64.go#L749: x3, x4 = bits.Sub64(arg1[1], arg2[1], uint64(p224Uint1(x2)))
p224_fiat64.go#L752: x5, x6 = bits.Sub64(arg1[2], arg2[2], uint64(p224Uint1(x4)))
p224_fiat64.go#L755: x7, x8 = bits.Sub64(arg1[3], arg2[3], uint64(p224Uint1(x6)))
p224_fiat64.go#L757: p224CmovznzU64(&x9, p224Uint1(x8), uint64(0x0), 0xffffffffffffffff)
p224_fiat64.go#L760: x10, x11 = bits.Add64(x1, uint64((p224Uint1(x9) & 0x1)), uint64(0x0))
p224_fiat64.go#L763: x12, x13 = bits.Add64(x3, (x9 & 0xffffffff00000000), uint64(p224Uint1(x11)))
p224_fiat64.go#L766: x14, x15 = bits.Add64(x5, x9, uint64(p224Uint1(x13)))
p224_fiat64.go#L768: x16, _ = bits.Add64(x7, (x9 & 0xffffffff), uint64(p224Uint1(x15)))
p224_fiat64.go#L814: x12, x13 = bits.Add64(x7, x4, uint64(p224Uint1(x11)))
p224_fiat64.go#L819: x16, x17 = bits.Add64(uint64(0x0), x8, uint64(p224Uint1(x15)))
p224_fiat64.go#L822: x18, x19 = bits.Add64(uint64(0x0), x10, uint64(p224Uint1(x17)))
p224_fiat64.go#L825: x20, x21 = bits.Add64(uint64(0x0), x12, uint64(p224Uint1(x19)))
p224_fiat64.go#L831: x24, x25 = bits.Add64(x18, uint64(0x0), uint64(p224Uint1(x23)))
p224_fiat64.go#L834: x26, x27 = bits.Add64(x20, uint64(0x0), uint64(p224Uint1(x25)))
p224_fiat64.go#L851: x38, x39 = bits.Add64(x33, x30, uint64(p224Uint1(x37)))
p224_fiat64.go#L856: x42, x43 = bits.Add64(x24, x34, uint64(p224Uint1(x41)))
p224_fiat64.go#L859: x44, x45 = bits.Add64(x26, x36, uint64(p224Uint1(x43)))
p224_fiat64.go#L862: x46, x47 = bits.Add64((uint64(p224Uint1(x27)) + (uint64(p224Uint1(x21)) + (uint64(p224Uint1(x13)) + x5))), x38, uint64(p224Uint1(x45)))
p224_fiat64.go#L868: x50, x51 = bits.Add64(x44, uint64(0x0), uint64(p224Uint1(x49)))
p224_fiat64.go#L871: x52, x53 = bits.Add64(x46, uint64(0x0), uint64(p224Uint1(x51)))
p224_fiat64.go#L888: x64, x65 = bits.Add64(x59, x56, uint64(p224Uint1(x63)))
p224_fiat64.go#L893: x68, x69 = bits.Add64(x50, x60, uint64(p224Uint1(x67)))
p224_fiat64.go#L896: x70, x71 = bits.Add64(x52, x62, uint64(p224Uint1(x69)))
p224_fiat64.go#L899: x72, x73 = bits.Add64((uint64(p224Uint1(x53)) + (uint64(p224Uint1(x47)) + (uint64(p224Uint1(x39)) + x31))), x64, uint64(p224Uint1(x71)))
p224_fiat64.go#L905: x76, x77 = bits.Add64(x70, uint64(0x0), uint64(p224Uint1(x75)))
p224_fiat64.go#L908: x78, x79 = bits.Add64(x72, uint64(0x0), uint64(p224Uint1(x77)))
p224_fiat64.go#L925: x90, x91 = bits.Add64(x85, x82, uint64(p224Uint1(x89)))
p224_fiat64.go#L930: x94, x95 = bits.Add64(x76, x86, uint64(p224Uint1(x93)))
p224_fiat64.go#L933: x96, x97 = bits.Add64(x78, x88, uint64(p224Uint1(x95)))
p224_fiat64.go#L936: x98, x99 = bits.Add64((uint64(p224Uint1(x79)) + (uint64(p224Uint1(x73)) + (uint64(p224Uint1(x65)) + x57))), x90, uint64(p224Uint1(x97)))
p224_fiat64.go#L937: x100 := (uint64(p224Uint1(x99)) + (uint64(p224Uint1(x91)) + x83))
p224_fiat64.go#L943: x103, x104 = bits.Sub64(x96, 0xffffffff00000000, uint64(p224Uint1(x102)))
p224_fiat64.go#L946: x105, x106 = bits.Sub64(x98, 0xffffffffffffffff, uint64(p224Uint1(x104)))
p224_fiat64.go#L949: x107, x108 = bits.Sub64(x100, 0xffffffff, uint64(p224Uint1(x106)))
p224_fiat64.go#L951: _, x110 = bits.Sub64(uint64(0x0), uint64(0x0), uint64(p224Uint1(x108)))
p224_fiat64.go#L953: p224CmovznzU64(&x111, p224Uint1(x110), x101, x94)
p224_fiat64.go#L955: p224CmovznzU64(&x112, p224Uint1(x110), x103, x96)
p224_fiat64.go#L957: p224CmovznzU64(&x113, p224Uint1(x110), x105, x98)
p224_fiat64.go#L959: p224CmovznzU64(&x114, p224Uint1(x110), x107, x100)
p224_fiat64.go#L996: x15, x16 = bits.Add64(x10, x7, uint64(p224Uint1(x14)))
p224_fiat64.go#L999: x17, x18 = bits.Add64(x8, x5, uint64(p224Uint1(x16)))
p224_fiat64.go#L1016: x29, x30 = bits.Add64(x24, x21, uint64(p224Uint1(x28)))
p224_fiat64.go#L1021: x33, x34 = bits.Add64(x13, x25, uint64(p224Uint1(x32)))
p224_fiat64.go#L1024: x35, x36 = bits.Add64(x15, x27, uint64(p224Uint1(x34)))
p224_fiat64.go#L1027: x37, x38 = bits.Add64(x17, x29, uint64(p224Uint1(x36)))
p224_fiat64.go#L1045: x49, x50 = bits.Add64(x44, x41, uint64(p224Uint1(x48)))
p224_fiat64.go#L1048: x51, x52 = bits.Add64(x42, x39, uint64(p224Uint1(x50)))
p224_fiat64.go#L1054: x55, x56 = bits.Add64(x35, x47, uint64(p224Uint1(x54)))
p224_fiat64.go#L1057: x57, x58 = bits.Add64(x37, x49, uint64(p224Uint1(x56)))
p224_fiat64.go#L1060: x59, x60 = bits.Add64(((uint64(p224Uint1(x38)) + (uint64(p224Uint1(x18)) + x6)) + (uint64(p224Uint1(x30)) + x22)), x51, uint64(p224Uint1(x58)))
p224_fiat64.go#L1077: x71, x72 = bits.Add64(x66, x63, uint64(p224Uint1(x70)))
p224_fiat64.go#L1082: x75, x76 = bits.Add64(x55, x67, uint64(p224Uint1(x74)))
p224_fiat64.go#L1085: x77, x78 = bits.Add64(x57, x69, uint64(p224Uint1(x76)))
p224_fiat64.go#L1088: x79, x80 = bits.Add64(x59, x71, uint64(p224Uint1(x78)))
p224_fiat64.go#L1106: x91, x92 = bits.Add64(x86, x83, uint64(p224Uint1(x90)))
p224_fiat64.go#L1109: x93, x94 = bits.Add64(x84, x81, uint64(p224Uint1(x92)))
p224_fiat64.go#L1115: x97, x98 = bits.Add64(x77, x89, uint64(p224Uint1(x96)))
p224_fiat64.go#L1118: x99, x100 = bits.Add64(x79, x91, uint64(p224Uint1(x98)))
p224_fiat64.go#L1121: x101, x102 = bits.Add64(((uint64(p224Uint1(x80)) + (uint64(p224Uint1(x60)) + (uint64(p224Uint1(x52)) + x40))) + (uint64(p224Uint1(x72)) + x64)), x93, uint64(p224Uint1(x100)))
p224_fiat64.go#L1138: x113, x114 = bits.Add64(x108, x105, uint64(p224Uint1(x112)))
p224_fiat64.go#L1143: x117, x118 = bits.Add64(x97, x109, uint64(p224Uint1(x116)))
p224_fiat64.go#L1146: x119, x120 = bits.Add64(x99, x111, uint64(p224Uint1(x118)))
p224_fiat64.go#L1149: x121, x122 = bits.Add64(x101, x113, uint64(p224Uint1(x120)))
p224_fiat64.go#L1167: x133, x134 = bits.Add64(x128, x125, uint64(p224Uint1(x132)))
p224_fiat64.go#L1170: x135, x136 = bits.Add64(x126, x123, uint64(p224Uint1(x134)))
p224_fiat64.go#L1176: x139, x140 = bits.Add64(x119, x131, uint64(p224Uint1(x138)))
p224_fiat64.go#L1179: x141, x142 = bits.Add64(x121, x133, uint64(p224Uint1(x140)))
p224_fiat64.go#L1182: x143, x144 = bits.Add64(((uint64(p224Uint1(x122)) + (uint64(p224Uint1(x102)) + (uint64(p224Uint1(x94)) + x82))) + (uint64(p224Uint1(x114)) + x106)), x135, uint64(p224Uint1(x142)))
p224_fiat64.go#L1199: x155, x156 = bits.Add64(x150, x147, uint64(p224Uint1(x154)))
p224_fiat64.go#L1204: x159, x160 = bits.Add64(x139, x151, uint64(p224Uint1(x158)))
p224_fiat64.go#L1207: x161, x162 = bits.Add64(x141, x153, uint64(p224Uint1(x160)))
p224_fiat64.go#L1210: x163, x164 = bits.Add64(x143, x155, uint64(p224Uint1(x162)))
p224_fiat64.go#L1211: x165 := ((uint64(p224Uint1(x164)) + (uint64(p224Uint1(x144)) + (uint64(p224Uint1(x136)) + x124))) + (uint64(p224Uint1(x156)) + x148))
p224_fiat64.go#L1217: x168, x169 = bits.Sub64(x161, 0xffffffff00000000, uint64(p224Uint1(x167)))
p224_fiat64.go#L1220: x170, x171 = bits.Sub64(x163, 0xffffffffffffffff, uint64(p224Uint1(x169)))
p224_fiat64.go#L1223: x172, x173 = bits.Sub64(x165, 0xffffffff, uint64(p224Uint1(x171)))
p224_fiat64.go#L1225: _, x175 = bits.Sub64(uint64(0x0), uint64(0x0), uint64(p224Uint1(x173)))
p224_fiat64.go#L1227: p224CmovznzU64(&x176, p224Uint1(x175), x166, x159)
p224_fiat64.go#L1229: p224CmovznzU64(&x177, p224Uint1(x175), x168, x161)
p224_fiat64.go#L1231: p224CmovznzU64(&x178, p224Uint1(x175), x170, x163)
p224_fiat64.go#L1233: p224CmovznzU64(&x179, p224Uint1(x175), x172, x165)
p224_fiat64.go#L1251: func p224Selectznz(out1 *[4]uint64, arg1 p224Uint1, arg2 *[4]uint64, arg3 *[4]uint64) {